In 1931 Kurt Godel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems". This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. Godel received public recognition of his work in 1951 when he was awarded the first Albert Einstein Award for achievement in the n...(展开全部)

In 1931 Kurt Godel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems". This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. Godel received public recognition of his work in 1951 when he was awarded the first Albert Einstein Award for achievement in the n...(展开全部)

童文菲（Wenfei Tong），美国生物学家、保护工作者。出生于新加坡，自12岁开始观鸟。先后就读于普林斯顿大学和牛津大学，后获哈佛大学生物学博士学位，目前在该校任助理研究员。著有《怎样理解一只鸟》《鸟类之爱：鸟儿的家庭生活》，通过写作、绘画、摄影、教学、演讲及自然导赏，与公众分享她对大自然和科学的热爱。

In 1931 Kurt Godel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems". This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. Godel received public recognition of his work in 1951 when he was awarded the first Albert Einstein Award for achievement in the n...(展开全部)

In 1931 Kurt Godel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems". This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. Godel received public recognition of his work in 1951 when he was awarded the first Albert Einstein Award for achievement in the n...(展开全部)

In 1931, the young Kurt Godel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical truths the theory cannot prove. This remarkable result is among the most intriguing (and most misunderstood) in logic. Godel also outlined an equally significant Second Incompleteness Theorem. How are these Th...(展开全部)

In 1931, the young Kurt Godel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical truths the theory cannot prove. This remarkable result is among the most intriguing (and most misunderstood) in logic. Godel also outlined an equally significant Second Incompleteness Theorem. How are these Th...(展开全部)

In 1931, the young Kurt Godel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical truths the theory cannot prove. This remarkable result is among the most intriguing (and most misunderstood) in logic. Godel also outlined an equally significant Second Incompleteness Theorem. How are these Th...(展开全部)

豪尔赫•路易斯•博尔赫斯（Jorge Luis Borges，1899－1986） 阿根廷诗人、小说家、评论家、翻译家，西班牙语文学大师。 一八九九年八月二十四日出生于布宜诺斯艾利斯，少年时随家人旅居欧洲。 一九二三年出版第一部诗集《布宜诺斯艾利斯激情》，一九二五年出版第一部随笔集《探讨集》，一九三五年出版第一部短篇小说集《恶棍列传》，逐步奠定在阿根廷文坛的地位。代表诗集《圣马丁札记》《老虎的金黄》，小说集《小径分岔的花园》《阿莱夫》，随笔集《永恒史》《探讨别集》等更为其赢得国际声誉。译有王尔德、吴尔夫、福克纳等作家作品。 曾任阿根廷国家图书馆馆长、布宜诺斯艾利斯大学文学教授，获得阿根廷国家文学奖、福门托国际出版奖、耶路撒冷奖、巴尔赞奖、奇诺•德尔杜卡奖、塞万提斯奖等多个文学大奖。 一九八六年六月十四日病逝于瑞士日内瓦。